ABSTRACT Real-time graphical interval logic is a modal logic for reasoning about time in which the basic modality is the interval. The logic differs from other logics in that it has a natural intuitive graphical representation that resembles the timing diagrams drawn by system designers. We have developed an automted deduction system for the logic, which includes a theorem prover and a user interface. The theorem prover checks the validity of proofs in the logic and produces counterexamples to invalid proofs. (...) The user interface includes a graphical editor that enables the user to create graphical formulas on a workstation display, and a database and proof manager that tracks proof dependencies and allows graphical formulas to be stored and retrieved. In this paper we describe the logic, the automated deduction system, and an application to robotics. (shrink)

We suggest that the accounts offered by the target articles could be strengthened by acknowledging the role of group selection and cultural niche construction in shaping the evolutionary trajectory of human music. We argue that group level traits and highly variable cultural niches can explain the diversity of human song, but the target articles' accounts are insufficient to explain such diversity.

We aim at a conceptually clear and technically smooth investigation of Ackermann’s substitution method [W. Ackermann, Zur Widerspruchsfreiheit der Zahlentheorie, Math. Ann. 117 162–194]. Our analysis provides a direct classification of the provably recursive functions of , i.e. Peano Arithmetic framed in the ε-calculus.

Offering a unique and wide-ranging examination of the theory of knowledge, the new edition of this comprehensive collection deftly blends readings from the foremost classical sources with the work of important contemporary philosophical thinkers. Human Knowledge: Classical and Contemporary Approaches, 3/e, offers philosophical examinations of epistemology from ancient Greek and Roman philosophy (Plato, Aristotle, Sextus Empiricus); medieval philosophy (Augustine, Aquinas); early modern philosophy (Descartes, Locke, Leibniz, Berkeley, Hume, Reid, Kant); classical pragmatism and Anglo-American empiricism (James, Russell, Ayer, Lewis, Carnap, Quine, (...) Rorty); and other influential Anglo-American philosophers (Chisholm, Kripke, Moore, Wittgenstein, Strawson, Putnam). Organized chronologically and thematically, Human Knowledge, 3/e, features exceptionally broad coverage and nontechnical selections that are easily accessible to students. An ideal text for both undergraduate and graduate courses in epistemology, it is enhanced by the editors' substantial general introduction, section overviews, and up-to-date bibliographies. The third edition offers expanded selections on contemporary epistemology and adds selections by Thomas Reid, Richard Rorty, David B. Annis, Richard Feldman and Earl Conee, Ernest Sosa, Barry Stroud, and Louise M. Antony. Human Knowledge, 3/e, offers an unparalleled introduction to our ancient struggle to understand our own intellectual experience. (shrink)

Este artigo tem como objetivo apresentar, como Introdução, a definição de Lógica como o estudo das formas válidas de raciocínio. Raciocinar é inferir conclusões de proposições tidas ou dadas por verdadeiros, denominadas premissas. Como estudo das formas válidas não é escopo da Lógica determinar se as premissas são verdadeiras ou falsa. Apenas considera as premissas como tidas por verdadeiras. A seguir trata-se da filosofia da ciência que estuda, entre outras questões, em que consiste a natureza da ciência, quais são suas (...) características, o que a diferencia do senso comum. Entre seus objetivos está em determinar em que consiste a explicação científica em especial o modelo da explicação dedutivo nomológico, sobretudo. Em terceiro lugar, trata-se deste modelo específico, que o tema central destas reflexões, sua estrutura um conjunto de proposições que constituem o Explanans no qual figuram 1. As condições iniciais em que se produz o fenômeno a ser explicado (denominado de Explanandum) e 2. As leis universais que estimadas como explicações do fenômeno a ser explicado. Do Explanans por meio de regras lógicas deduz-se o Explanandum. Este modelo é também denominado modelo de Hempel-Openheim considerado clássico e vigente até a década de 1960. A dedução lógica acarreta necessidade da ocorrência do Explanandum. A quarta secção do capítulo examina em que consiste esta necessidade, sobretudo quando é notório que em ciência tudo é revisível e sujeito ao princípio de incerteza de Heisenberg. Segue finalmente a conclusão. (shrink)

Is there something as masculine and feminine values? Attempt of an everyday language approach The aim of the paper is to answer a question that has often been raised but not thoroughly explored, namely, whether there are masculine and feminine values. In axiology values are mostly considered in a gender-blind way, while in feminist critique, e.g., in difference feminism, there is a valorization of the feminine but a differentiated axiological consideration is not undertaken. By the use of the hermeneutic method (...) of interpretation and linguistic analysis, as well as of an axiological and feminist critical approach, the paper will unfold some ambiguities, and respectively the possible answers of the question, by showing the crucial importance of the value system, which defines the order of discourse and thus legitimizes or puts in question the sociocultural order. (shrink)

Recently Robert Almeder has invoked Aristotle's celebrated regress argument to argue for the existence of basic knowledge that does not require the satisfaction of any justification condition. After outlining Almeder's argument, I shall show why it ultimately fails.Aristotle's regress argument in Book I of the Posterior Analytics is basically that because we have inferential knowledge, we must also have non-inferential knowledge. Aristotle plausibly assumes that to know the conclusion of an argument on the basis of its premises, one must know (...) its premises. But he notes that if knowledge of any premise requires knowledge of some other proposition, then knowing any proposition would require knowledge of each member of an infinite regress of propositions. According to Aristotle, we cannot know each member of such a regress, but we do have some inferential knowledge; consequently there must be some basic, non-inferential knowledge, i.e., knowledge that does not depend for its justification on inferential relations to other known propositions. (shrink)

This article deals with socio?cultural ethical relativism. An attempt is made to analyze an ethical relativistic statement, i.e. a statement which, prima facie, ascribes different value?qualities to the same type of conduct, depending on the society in which it occurs. The conclusion arrived at is that, in the main, such statements do not express genuine relativism. On the other hand, views which can be regarded as genuinely relativistic, arc found to lack plausibility.

Purpose: This paper aims to mediate Josef Mitterer's non-dualistic philosophy with the claim that speaking is a process of embodied experience. Approach: Key assumptions of enactive cognitive science, such as the crossmodal integration of speech and gesture and the perceptual grounding of linguistic concepts are illustrated through selected performance pieces of multimedia artist Laurie Anderson. Findings: The analysis of Anderson's artistic work questions a number of dualisms that guide truth-oriented models of language. Her performance pieces demonstrate that language is both (...) sensually enacted and conceptually reflected through the integration of iconic signing (e.g. sound play, dance) with symbolic communication. Moreover, Anderson's artistic practice demonstrates that media such as voice, gesture and recording technologies realize different forms of embodied language. Benefits: Media aesthetics in the vein of embodied cognition can overcome a number of the dualisms that inform analytical philosophy of language, linguistics, and communication studies, such as perceptual/conceptual meaning, iconicity/symbolicity, emotion/cognition, body/technology and voice/script. (shrink)

Hidden cluster problems can manifest when broad ethnic categories are used as proxies for cultural traits, especially when traits are assumed to encode cultural distances between groups. We suggest a granular understanding of cultural trait distributions within and between ethnic categories is fundamental to the interpretation of heritability estimates as well as general behavioral outcomes.

Quale atteggiamento deve assumere il cristiano in filosofia? Se la condizione di cristiano è tale da influire sulle modalità della riflessione filosofica, che cosa ne consegue per il rapporto tra la fede e la ricerca della verità? I due autori, entrambi cristiani, hanno approcci diversi al riguardo, sotto il profilo dell’ispirazione intellettuale, degli approfondimenti tematici e dello stile espositivo, ma è comune a entrambi il desiderio di riflettere sull’amore e l’obbedienza come fonti della filosofia del credente. -/- Questo piccolo libro (...) realizza un’eco italiana del dibattito intorno a «una filosofia conforme a Cristo», molto vivo soprattutto nei paesi anglosassoni, qui articolato con un costante riferimento al pensiero di san Tommaso d’Aquino, così centrale nella tradizione religiosa e culturale del nostro Paese. (shrink)

The paper examines a possible ethics for the current scenario, in order to bring human beings closer together and awaken in them a feeling of solidarity. For such an examination, at first, theories such as the utilitarianism reviewed by Rawls are questioned. It searches for a valid criterion for all participants of a certain universalism or for a real and non-exclusive “us”. The call for solidarity is proposed as a way of uniting people, as opposed to selfishness. Then solidarity is (...) defended, according to Richard Rorty. This philosopher affirms the need for an agreement among the members of society, because only then would there be a real “we”. Next, there is the question about how to make people more supportive, but without resorting to the traditional metaphysical perspective on humanity: there is a bet on the existence of shared characteristics that lead to democratic equality, however, respecting the differences of each one. It is still questioned what would lead the richest to sympathize with the poorest, observing the proposals made by Rorty about raising awareness, presenting the risk of poverty to the rich and appealing to the feeling of humanity. Finally, Rortyan egalitarianism is considered, according to which solidarity is beyond rationality. It would be historically constituted and based on the relationship with the other, on the common feeling of vulnerability, crucial to society in times of pandemic. (shrink)

Os Objetivos de Desenvolvimento Sustentável (ODS) abrangem diversas questões socioambientais e são aplicáveis a todos os países. O ODS 15, Vida Terrestre, visa proteger os ecossistemas terrestres, conservar a biodiversidade e reduzir a perda de biodiversidade, e o estado do Paraná é um dos estados com uma das maiores proporções de área de remanescentes florestais do Brasil e conta com uma política de preservação ambiental. Em vista disso, o estudo tem como objetivo analisar a eficiência dos municípios paranaenses no atendimento (...) ao Objetivo do Desenvolvimento Sustentável 15 - Proteger a vida terrestre. Para isso, foi utilizada a abordagem da Análise Envoltória de Dados (DEA – Data Envelopment Analysis), tendo como input o Imposto sobre Circulação de Mercadorias e Serviços Ecológico (ICMS Ecológico) e como output o percentual de áreas florestais dos municípios. Os resultados apontaram que os municípios Campo do Tenente, Céu Azul, Guaratuba, Imbituva, Ipiranga, Mirador, Morretes e Teixeira Soares foram eficientes, tendo como característica principal, a presença de parques ecológicos. Por outro lado, foi observado que as regiões mais industrializadas e urbanas concentraram mais municípios com ineficiência forte. Além disso, os municípios Piraquara, Pinhais, Campo Magro e Quatro Barras apresentaram os maiores excessos no recebimento de recursos do ICMS Ecológico. Enquanto os municípios de Pinhais, Curitiba, São Jorge do Patrocínio, Altônia, São Pedro do Paraná e Quatiguá apresentaram as maiores necessidades relativas de aumentar as áreas remanescentes florestais. (shrink)

In some of the most important recent work in religious epistemology, Paul Moser (2002, 2004, 2008) develops a multifaceted reply to a prominent attack on belief in God—what we’ll call the Hiddenness Argument. This paper raises a number of worries about Moser’s novel treatment of the Hiddenness Argument. After laying out the version of that argument Moser most explicitly engages, we explain the four main elements of Moser’s reply and argue that it stands or falls with (...) two pieces in particular—what we call the Purposively Available Evidence Argument and the Cognitive Idolatry Argument. We then show that the Cognitive Idolatry Argument fails, leaving the Purposively Available Evidence Argument as Moser’s only potentially viable objection to the Hiddenness Argument. We conclude that Moser’s treatment of the Hiddenness Argument depends crucially on some controversial epistemological claims about certain of our moral beliefs, and is thus considerably more vulnerable than many have recognized. (shrink)

AimThe aim was to explore the various associations between subjective well-being and internet use among older adults in two regions in Finland and Sweden.MethodsThe data was collected through a population-based survey as part of the GERDA project conducted in 2016. The connection between subjective well-being and internet use was studied by conducting binary regression analyses, calculating odds ratios with 95% confidence intervals. The analyses also controlled for key subjective well-being covariates.ResultsStatistically significant associations were found between perceived life meaningfulness and (...) internet use. When looking into the specific internet-based activities under study, activities related to leisure and entertainment showed statistically significant associations to perceived meaningfulness as well as perceived happiness, also after controlling for potential covariates. However, internet use and the different internet activities failed to show statistical significant associations to life satisfaction in the adjusted regression model.ConclusionThe things we do on the internet as well as how we conceptualize and measure subjective well-being in this type of research studies seem to matter when it comes to the relationship between subjective well-being and internet use in later life. Internet use and internet activities displayed various connections to the subjective well-being proxies used in this study. Therefore, the complexity and multidimensionality of both subjective well-being and internet use and related links need to be carefully explored in order to deepen our understanding of experienced well-being among older adults in a digitized world. (shrink)

Moser investigates the relevance of metaphysics to contemporary natural science and technology. He includes an analysis of the Aristotelian and scholastic concept of metaphysics, a discussion of Heidegger and Hartmann, and an exploration of a possibility of a metaphysics of nature and technology along Aristotelian lines. --R. R. E.

Este trabalho analisa a estrutura do romance Como se estivéssemos em palimpsesto de putas, de Elvira Vigna como também, as relações sexistas às quais as personagens estão submetidas. Retratados por meio de uma narradora não revelada, estratégia estética realçadora da invisibilização da mulher dentro da sociedade, os causos de João, um profissional cujo único prazer é o sexo com garotas de programa, servem de retrato da construção da masculinidade e da dimensão patriarcal. Utilizando-se do artifício do palimpsesto como crítica ao (...) patriarcado, o seguinte trabalho denuncia, a partir das leituras de textos de Monique Wittig e Gerda Lerner, como as diversas expressões do machismo se comportam através das sobreposições de vozes que emergem da narrativa.Palavras-chave: Elvira Vigna. Palimpsesto. Patriarcado. Crítica Feminista. Memória. AbstractThis article analyzes the structure of Elvira Vigna’s novel Como se estivéssemos em palimpsesto de putas as well as the sexist relations to which the characters are submitted. Portrayed through an undisclosed female narrator, an aesthetic strategy that enhances the invisibility of women within society, the stories of João, a professional whose only pleasure is having sex with prostitutes, serve as a portrait of the construction of masculinity and the patriarchal dimension. Using the palimpsest as a criticism for patriarchy, Vigna’s work denounces, from the readings of texts by Monique Wittig and Gerda Lerner, the various expressions of sexism behavior through the overlapping voices that emerge from the narrative.Keywords: Elvira Vigna. Palimpsest. Patriarchy. Feminist Critique. Memory. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Catholic Theological Ethics Past, Present, and Future: The Trento Conference Edited by James F. Keenan, and: The Social Mission of the US Catholic Church: A Theological Perspective by Charles E. CurranDaniel CosacchiCatholic Theological Ethics Past, Present, and Future: The Trento Conference EDITED BY JAMES F. KEENAN Maryknoll, NY: Orbis Books, 2011. 337 pp. $40.00The Social Mission of the US Catholic Church: A Theological Perspective CHARLES E. CURRAN Washington, (...) DC: Georgetown University Press, 2011. 196 pp. $29.95To read both Catholic Theological Ethics Past, Present, and Future and The Social Mission of the US Catholic Church is to take a whirlwind tour—theological, historical, and geographical—through the Roman Catholic ethical tradition. Both volumes present wonderfully rich material and invaluable resources for the study of Christian ethics. Charles Curran and James Keenan are two of the foremost Catholic ethicists in the United States today. Keenan’s case is to be applauded for convening the 2010 conference in Trento, which brought together some six hundred Roman Catholic ethicists from around the world. His book, which assembles that conference’s thirty-one plenary addresses, does justice to this tremendous feat. Curran, for his part, has produced a text that focuses acutely on the Church in the United States and will benefit ethicists for years to come.Keenan uses the introduction to Catholic Theological Ethics Past, Present, and Future to provide an overview of the Trento conference and its attendees and proceedings. Keenan expertly identifies a common theme among the 240 diverse papers at the conference, noting that ethicists “always begin with the premise that there is a deficit in our location, and, therefore, we need to work together to find a way to remedy it” (6). What follows in the remainder of the book boldly moves toward remedies for many of the world’s ills. A few of these essays deserve particular mention.The conference and the collection of essays share the basic organizational principle of looking to the past, the present, and the future of Catholic theological ethics. Unsurprisingly, the Council of Trent played a foundational role in understanding the “past” of Catholic moral theology. Laurenti Magesa [End Page 216] (Kenya) explains that the African experience of the Council of Trent has remained largely unchanged since the conclusion of that council: “The Catholic Church in Africa is essentially a Tridentine church” (57). This essay makes clear that in Africa, the dominant voices are Western males. The missing voices, then, are given attention by Antônio Moser (Brazil), Anne Nasimiyu-Wasike (Kenya), and Bryan Massingale (United States). Massingale’s essay was most impressive, addressing the role of racism in our culture and concluding that Catholic ethicists “need to lament, mourn, and grieve our history” (121). This, he claims, is both a fruitful way to act in the present and a hopeful way to look toward the future.In focusing on the present, the strongest subsection of the book attended to political ethics. Here David Kaulemu’s (Zimbabwe) essay, “Catholic Social Teaching at a Crossroad,” has the potential to open the eyes of any reader. He writes, “It is frustrating and discouraging to the lay faithful to be inspired by Catholic social teaching and yet receive no recognition or support by ‘official’ church structures” (177). This highlights a serious problem to which all Catholic ethicists must attend. As for the future, Julie Hanlon Rubio (United States) points to a tripartite vision for marriage in the twenty-first century that sets high standards not only within the marital unit itself but also for the impact of the spouses on the larger society. Julie Clague (Scotland) presents a wonderful essay on the burgeoning relationship between moral theology and gender.Among the wealth of positive features of this collection is the great geographical diversity of the authors. This affirms that Catholic theological ethics is very healthy throughout the entire world and that on each continent there are voices of women and men willing to contribute fresh ideas to the discipline. In a time when there is so much tension between theologians and bishops, we should also be grateful that there are two essays from members of the episcopacy (Archbishop Bruno... (shrink)

On the surface, it seems intuitively plausible that if an agent luckily manages to perform a desired action (e.g., rolling a six with a fair die or winning the lottery), the performance of which is not the result of any relevant skill on her part, we should not say that she performed the action intentionally. This intuition suggests that our concept of intentional action is sensitive to considerations of skill, luck, and causal control. Indeed, some philosophers have claimed that in (...) order for an action to be performed intentionally it must be performed with a relevant amount of skill or control - i.e., an intentional action cannot simply be the result of luck. On this view, skill and control are necessary conditions of our everyday concept of intentional action. In this essay, I discuss empirical evidence that challenges this claim. After briefly setting the stage, I examine Al Mele and Paul Moser's thorough analysis of intentional action - paying particular attention to some of the interesting scenarios they offer in support of their position. Next, I discuss the results of some simple psychological experiments that show that people's judgments concerning whether actions are intentional can often be affected by the moral features of these actions - features that may trump considerations of skill, luck, and control. Finally, I conclude that if this is correct, philosophers who claim that skill and control are necessary conditions of the folk concept of intentional action appear to be mistaken. One can test attempted philosophical analyses of intentional action partly by ascertaining whether what these analyses entail about particular actions is in line with what the majority of non-specialists would say about these actions if there is a widely shared concept of intentional action, such judgments provide evidence about what the concept is, and a philosophical analysis of intentional action that is wholly unconstrained by that concept runs the risk of having nothing more than a philosophical fiction as its subject matter. (Mele, 2001, p. 27). (shrink)

Paul Moser's book defends what has been an unfashionable view in recent epistemology: the foundationalist account of knowledge and justification. Since the time of Plato philosophers have wondered what exactly knowledge is. This book develops a new account of perceptual knowledge which specifies the exact sense in which knowledge has foundations. The author argues that experiential foundations are indeed essential to perceptual knowledge, and he explains what knowledge requires beyond justified true beliefs. In challenging prominent sceptical claims that we (...) have no justified beliefs about the external world, the book outlines a theory of rational belief. (shrink)

A major figure in women's studies and a long-term activist for women's issues, Gerda Lerner is a pioneer in the field of Women's History and one of its leading practitioners. "Why History Matters" is a summation of her work which includes pieces on the author's early life as a Jewish refugee from Nazi Germany and on her slow assimilation into American life.

Angelaki, Volume 16, Issue 4, Page 43-57, December 2011.

If God exists, where can we find adequate evidence for God's existence? In this book, Paul Moser offers a new perspective on the evidence for God that centers on a morally robust version of theism that is cognitively resilient. The resulting evidence for God is not speculative, abstract, or casual. Rather, it is morally and existentially challenging to humans, as they themselves responsively and willingly become evidence of God's reality in receiving and reflecting God's moral character for others. (...) class='Hi'>Moser calls this 'personifying evidence of God,' because it requires the evidence to be personified in an intentional agent - such as a human - and thereby to be inherent evidence of an intentional agent. Contrasting this approach with skepticism, scientific naturalism, fideism, and natural theology, Moser also grapples with the potential problems of divine hiddenness, religious diversity, and vast evil. (shrink)

Given the predominance of multilingualism in many countries there is great need for a new, interdisciplinary approach to the problem. Sociolinguistics—or the sociology of language—provides such an approach and can help to shed new light on a phenomenon which is often discussed in terms that tend to create more problems than they solve. In order to demonstrate how sociolinguistic theory and practice can contribute to the study of multilingualism this paper will attempt to outline briefly some of the basic premises (...) of sociolinguistic theory which appear relevant to the understanding of the phenomenon of multilingualism and also to define multilingualism as a social behaviour in response to a contact situation. (shrink)

Three questions motivate this book's account of evidence for the existence of God. First, if God's existence is hidden, why suppose He exists at all? Second, if God exists, why is He hidden, particularly if God seeks to communicate with people? Third, what are the implications of divine hiddenness for philosophy, theology, and religion's supposed knowledge of God? This book answers these questions on the basis of a new account of evidence and knowledge of divine reality that challenges skepticism about (...) God's existence. The central thesis is that we should expect evidence of divine reality to be purposively available to humans, that is, available only in a manner suitable to divine purposes in self-revelation. This lesson generates a seismic shift in our understanding of evidence and knowledge of divine reality. The result is a needed reorienting of religious epistemology to accommodate the character and purposes of an authoritative, perfectly loving God. (shrink)